Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
821	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
822	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: cs-www.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
823	Operating System Development with ATS Work in Progress Matthew Danish Hongwei Xi Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2010-01-25 12:25:56 Type theory Functional languages Data types Cross-platform software ATS C dynamic memory allocation Kernel C Type system Computing Software engineering Programming language theory
824	Steve Zdancewic Research Statement September 4, 2007 Security-Oriented Languages The proliferation of network-enabled devices and the success of Internet applications has made it easier to access Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-05-13 09:16:55 Programming language International Conference on Functional Programming Ada Control flow ABLE Computer science ALGOL 68 Information flow Aspect-oriented programming Computing Software engineering Programming language theory
825	Rapid Case Dispatch in Scheme William D Clinger Northeastern University Abstract Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:12 Procedural programming languages Compiler construction Lisp programming language Cross-platform software Functional languages Scheme Lisp Compiler ALGOL 68 Software engineering Computing Programming language theory
826	ACM SIGSOFT Software Engineering Notes Page 1 November 2012 Volume 37 Number 6 Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2015-04-10 18:09:41 Software engineering Function Java Pathfinder ALGOL 68 Computing Programming language theory Quicken Interchange Format
827	PHP PHP-Con April 25, 2003. New York Rasmus Lerdorf <> http://lerdorf.com/nytips.pdf Add to Reading List Source URL: lerdorf.com Language: English - Date: 2003-04-25 08:24:22 C Standard Library Printf format string Conditional TrueType Q Wingdings C Computing Computer programming Programming language theory
828	Specification of Zinc and MiniZinc Zinc version (rotdMiniZinc version 1.2 Nicholas Nethercote Kim Marriott Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2010-11-11 04:11:19 Programming language theory Type theory C++ Program analysis Type system ALGOL 68 Primitive data type Enumerated type Boolean data type Computing Data types Software engineering
829	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.5) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-03-16 00:27:10 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
830	Modular Type Classes Derek Dreyer Robert Harper Toyota Technological Institute at Chicago Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-08-07 13:41:05 Software engineering Programming language theory Deduction Functional programming Type class Entailment Standard ML Type system Sheaf Logic Type theory Data types

UPDATE